Mark off todos.  Add submodule.  Tweak for ghc 7.4.2