TypeInference requires to explicitely generalize/bind to default type
the variables introduced for new symbols