Type Correction

This draft contains an adjustment to how the type expression parses. Type names will be checked more rigorously to see whether they conform to practical standards.
Although this does limit some edge cases of unusual unicode types being used, it will also cut down on the number of expressions being erroneously matched to types.

As we progress towards a stable 1.1 release, the focus will be on improving user experience, warnings and error messages for library developers and correcting bugs.