Wff: Tweak line breaks
Wff: Update coding style

Use leading commas instead of trailing commas
TestTheorem: Refactor tests for error conditons

Refactor tests for error conditions from 'testParse :: Test' to
'testParseError :: Test'.
Wff: Implement 'parseAll :: [String] -> Maybe [Wff]'