Change def of subexp for letrec.

The lambda term of a letrec is not considered a subexpression, but
it's body is; this is because the syntax is really faking (rec \x.e0
in e1), so e0 and e1 are the subexpressions, not \x.e0.
PDCFA for dead code.