edited readme for clarity, added some classes Semigroup1, MonadTrans, added Naturals and Bools ...