update CHANGELOG.markdown
make TI as instance of Functor and Applicative
hide Prelude.join to prepare for GHC 7.10 with Applicative-Monad Proposal
remove "MonadState TIState TI" instance