The part of a HawkSpec used at Runtime. The API may change at any time.

Due to a hint limitation, this module is imported unqualified when interpreting the user expression. This allows hint to read and write the type of the expression which it interprets without falling prey to module scoping issues.