cleaning up OptiML REPL output formatting; fixing minor bugs