Permit simplification rules to be written for *any* bindings.