Added docs for new execution & state modules
Small rST fixes