Match let before lambda in rule-matching (see comment with Lam case of Rules.match)