Merge "add an implementation of memory transactions + tests"