Clauses, Types, etc.

        And stop bothering with fancy classes.