Wff: Create Wff module and move 'main' to TestTheorem.hs
isAxiom: Set up test framework for 'isAxiom :: Wff -> Bool'
isAxiom: Implement 'isAxiom :: Wff -> Bool'