I've just pushed a changeset that implements my original proposal. These lines are added to basis.urs: type id val fresh : transaction id and 'id' attributes must have this new type.