SML and REPL packages