Store both the exact types which cannot be unified and the types which contain ...
Store both the exact types which cannot be unified and the types which contain ...

them in unifcation errors

Marwes/embed_lang,Marwes/embed_lang,Marwes/gluon,Marwes/gluon,gluon-lang/gluon,gluon-lang/gluon