Renamed and cleaned up several files.
Commented out debug info.
Moved bdd package to a separate folder 'BDD'.
Reorganised Haskell files.
Cleaned up code.