Changing interface between hardware-extended variables and
non-hardware-extended variables by adding specific hooks.  Still need
to extend first phase commit.
Further reorganization: all first phase commits go through a unified interface to hardware.
Updated documentation for hardware hooks for speculatives.