Fix in lisp evaluator
Added support for a CurrentModuleName in the compiler's runtime.
Added support for start[Nonterminal] in type reifier