Continued implementation of Representation Theorem.

* Implemented ||.|| operator in Formula::Reduce().
  Beliefs not yet implemented, possibly needs API changes.
* Removed Term::Factory arguments from Formula::[Eval|AddToSetup[s]]().
* Added StdName::SortedSet::WithoutPlaceholders().