Adding a ReplTutorial and an integration test for the REPL
Minor cleanup