In section 6.1, there seems to be a typo in the second line of type2Enum, which
currently reads "add new TBDby proposing ...".
Shoudn't this read "add new names by proposing ..."?
Although the wording is slightly different, I could not distinguish a
functional difference between type2Enum and type3Enum. Maybe I'm just a slow
reader, but it appears that we could make a stronger distinction.