Transactions: atomicity and labeling?

Hm, for (2) perhaps I could have an Array type in the doc which holds these “logs”, and have each transaction explicitly append to that array.