Wff: Finish implementing 'eval :: Wff -> Assignment -> Maybe Bool'
Cabal: Remove version requirements for dependencies