feat(stdlib): Transaction.affine — affine-bounded write-set isolation — db-theory #2 (8 externs)

feat(stdlib): Transaction.affine — affine-bounded write-set isolation — db-theory #2 (8 externs) #552