Extending Types

This draft contains a small adjustment to allow types to extend other types.

This is included only for operating with Java libraries, and is not designed for regular scripts. Type constructors are not currently supported at a language level.

Full Changelog: 1.0.17...1.0.18