Functions to simplify/normalize rules with the ability to leverage monads over traditional control structures.