Initial type system, with free type variable quantification for each global (parametric polymorphism) and inference for simple types.