Rationale

We need an interface to type information that:

Users will be compilers and tools, as well as REPL users through an interactive wrapper interface.

Design Decisions

Issues

Note, this list is primarily RH's notes on Stu's patch. Stu's initial replies inline