Work on type inference/parsing

updated parser to accept quantified types;
type inference updated so that it generalizes bound variables and
  doesn't require to call default_to_i;
default type for constants as a parameter for TypeInference.Ctx.create