untyped-LC-eval