Changed error signatures
Evaluating bare lambdas, WIP
Evaluating bare lambdas, WIP