Added namespace.
Added Term::Factory.
Fixed: method dispatching from Literal to Atom
Additional operator<< definitions.
Fixed: Clause::Subsumption().
Fixed: Ewff::Conj::SubstituteName() erased from wrong map.
Fixed cpplint warnings.
Added unit test for clause subsumption.