Language.Glambda.Eval