Added tests of trace-define, trace-lambda