Generalize sub-rule execution

It's now no longer limited to class rules, but is available to all rule
types. This allows us to use e.g. variable rules for scoping or more
detailed recursion control.