Describir: HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes).