Preliminary dynamic execution of traces added

For expressions that have been traced already, the interpreter now switches to the execution of the trace, instead of simple reevaluation of the expression itself. For the moment, the trace execution is still incorrect though.