This patch enables argToPat to look through let expressions

e.g.	f (let v = rhs in \y -> ...v...)

Here we can specialise for f (\y -> ...) because the rule-matcher will
look through the let.