Restructured to use .jsms. Improved REPL printing.