small changes to theory doc
new sections in ops doc