Use records instead of tuples for Revision.t
Make concurrent