added REPL page, minor tweaks