added FormulaTests.hs to repo