Added a monad transformer (State + IO) sample
Updated README and project info