pub fn nametm_eval_rec(nmtm: Rc<NameTm>) -> NameTmVal
Evaluate a name term, dynamically (see also: normal module)
normal