Refactred the FormulaFactory.
Test files have the name of the tested package in its name.
Evaluation and equivalence between formulas added.

It is highly not efficient : it does compare the values of both formulas
for every valuation.