Migrated to exceptions library
Added XenT and MonadXen