Added WriteStamp class; renamed CurrentTransactionStartStamp to ReadStamp.