Prepare for difference facts.

* Rename SumFormatter to FactFormatter
* Allow the client of FactFormatter to provide the operator