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.