Defunctionalize type synonyms. Fixes #48.