Progress on urbit time, sets and maps.