add signatures and rules for explicit matching