Added type expressions, typed expressions and built-in string type.
Removed the useless Types.Abstract module.
Removed useless definitions.
Added the type constructor.
Removed explicit types unit, int, string; they are now type constructors.
Moved built-in types to builtin module.
Added some indentation styles.