Template for REPL loop and updated language spec