Rewrites implement facts

And not necessarily optimizations, but the relations between objects. For instance, the Polya-Gamma augmentation is not an optimization per se, but it is a statement that can be used in AeMCMC to build efficient samplers for the graph.