Tweaked trace-lambda to allow generating a name.

Now trace-lambda generates a name use syntax-local-infer-name, unless
given a name via the optional kw arg #:name.