Quality Requirements
====================

- any artifect returned by Cuneiform or its REPL is, again, a valid Cuneiform term.
- any output generated the type checker is a valid Cuneiform type or an error message.