improve ExpressionEvaluator capabilities

to actually influence the creation of locals, parameters, this, and the current exception ValueReferences