The "no definition" case in parse_lambda now simply makes a copy of body,
instead of applying I to it.  This yields the highly simplified forms we
would expect, as evidenced by some new test cases in test/a1.fxl.