Updated README.md to for checked_iterator, modulo, monitor and state