Location module to know where terms and formulas come from
moved Untyped to Basic, added Basic.Ty (formerly Type.Parsed);
basic terms and formulas are now annotated by their position by the parser, when
possible, and they can have an optional type annotation.
new module TypeErasure for conversion into basic terms and formulas;
new module TypeConversion to convert between Type and Basic.Ty