Fixes and clean-up

  - ./TODO.md contains the tests failing because of known bugs or
    unsupported features.

  - Removed some cabal warnings.