imp: hooked up mEVAL to the REPL
imp: added trace for debugging, MXXX->mXXX