Create Haskell.WellFormedFormula.hs