Make sure unification errors for incompatible types when we don't have free variables