Implemented deferral of type synonyms.