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