TypeInference: fixed mgu of Function because of zip
TypeInference: fixed Func for validateType (zip)