Added check in case trace-lambda cannot infer name
Examples and cleaned up explination of trace forms