[Ur] Abstract type for 'id' attributes?

[Adam Chlipala]

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.