Resolve dependency problem and fix the REPL launch.
Fix lexer bugs (do not lookup in the right table) and add backtrace for any errors.
Add a quit command (:quit or :exit or :q).
Merge branch 'master' of https://github.com/ptal/nominal-workbench