An alternative reduction rule for Contract which can share the computation
of the element. However, the rule is a little less satisfying than the
previous one, and involves substitution and the use of the demand rule.