figured out most of STMLog\!  but stuck on an inference issue
Verified STM log\!
note about generativity