Installed builtin reordering everywhere

Installed the builtin reordering code into NonrecursiveRuleTheory
and MaterializedViewTheory.  Added tests for MaterializedViewTheory.
Also tweaked the builtin interface and simplified how other modules
utilize that interface.

Closes-bug: 1350074
Closes-bug: 1350077
Change-Id: I30ec45917686225c43204eafa9364a64ecae3dd7
Merge "Installed builtin reordering everywhere"