Add test fir TypeInf (test/TypeInfTest) (not complete)

TODO: equality for TypeScheme (Eq instance checks whether two types are identical(bound variables are equal))