Support for arbitrary rules, given in "Wolfram code"