expandTypeSynonyms before comparing types
improve error message
Merge pull request #80 from ucsd-progsys/mapTyCrash

expandTypeSynonyms before comparing types