matcher-op: new functions for op types.