Fixed warnings in types/FamInstEnv