Fixed JSON for type synonyms
Fixed type syn, maybe, map, and tyvars