Allow semantically defined/custom predicates

[flaviusb]

Maybe there is already a better way to do this, but it would be useful to be able to be able to make a rule not match in the semantic expression; that is, to force a rule failure based on running some Haskell code.