Rearranged formula.cc, added folding.
Implemented [Knowledge|Belief]::Regress().

Immplementations of [Knowledge|Belief]::Regress() closely follows
the papers.