Update README.
Add docs for generic operators, values and stm version of implementation.