Started work on FT and added some instances
Fixed Foldable instance
Added Alternative instance
Apply and Bind instances for FT
F expressed in terms of FT
MonadIO instance for FT
added hoistFT
added MonadReader and MonadState instances for FT
added iterT for FT
added transFT
retract, iter and iterM for F (via FT)
fixed docs
added fromF, toF and impove for F (via FT)
renamed foo/bar to toFT/fromFT
nicer retract + INLINE pragmas
fixed docs for toFT/fromFT
Traversable instance for FT
Eq and Ord instances for FT via FreeT
removed redundant StandaloneDeriving
MonadCont instance for FT