Tags, Catch, and Throw are implemented
The type checker prints types correctly.
Variable bindings must have concrete types