Support for different rules

[maxitg]

From Stephen Wolfram:

Also, I'm really going to want a version that can work with different combinators than S ... though it could require recompilation....