Fix some tests where the resulting type have skolem variables ...
Fix some tests where the resulting type have skolem variables ...

... instead of Generic

This should be fine, I think.

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