More updates to Safe Haskell to implement new design (done!).