Add auto-indenting to the REPL; fix class bug.