Propagate size info through pattern matching in predicates, for the
commutative cut rule.

The error messages of the guard checker are now sometimes not
informative enough.