You Complete Me config.
Ewff is DNF. Introduced Term::Var and Term::Name.

Restricting ewffs to DNF allows faster model generation.
Term::Var and Term::Name provide more type-safety.
Renamed Term::Var, Term::Name to Variable, StdName. Added unit test.

Now using GTest.