Adds grading and solution template.
Provides a trivial Turing machine so code runs.
Converts to module-level logging.