Refactoring: parser, interpreter; improved diagnostics.
Implemented REPL, arithmetic.