Make sure unify verifies types without free variables