#184 Nested type synonyms now expand properly, type class instances for type synonyms can be found