Update documentation
Document Get monad
minor changes