Fixed warnings in types/InstEnv