Support for type schemas inside data type Type.
Some operations and parsing of type schemas.
Change contexts a bit.
Handle TyGen case.
Stub module for type inference.