Create clauseform.hs

clause form and dual clause form