Latest round of changes, incorporating:

  - some changes to the portability/stability requested by Malcolm
  - Control.Monad.Fix is portable, IO/ST instances moved to System.IO,
    Control.Monad.ST respectively.
  - GHC.Tup moved to Data.Tuple, the code in here is mostly portable
    (and the interface better be).