Simplify statement of rules by eliminating boilerplate. Remove IterativeComputation, which was adding too much complexity.