Add MIT's ch4-mceval.scm