Renames t2AlproIII and Finishes chapter 7 of the haskell book