* Implemented most of SSI.
* Missing reasoning about scalar vs vector with regard to transaction/version re-ordering.