LambdaCore.lam <- cbV and subb  as an evaluator