Comment by fabiopolimeni

I think you are right with most of your observations.

Why do you think that using something like createOrUodateRule could limit the ability to produce complex behaviour?