So although Rao is technically correct that his Types 1 and 2 do represent the logical extremes of the distribution, it is not likely that any meaningful symbol systems were ever created that had either of these properties.
it is important to remember that random is not the same thing as random and equiprobable: at least some of the discussion of Rao et al.