Add failure module to .cabal. Begin internal data type work.