Fixed duplicate type variables in free and bound variables.