* Primitive error messages for evaluator and typechecker.
* Improve type checking.
* Submission subsystem.
* Evaluation subsystem state machine.