Runtime type checking for type synonyms and data constructors #93

--runtime-type-checks currently works for primitive types, but not for type synonyms, and not for data constructors. See #59.