Tags and keywords
The 'first', 'second', and 'third' generation prefixes have been translated as '1st', '2nd', '3rd' enumeration literals.
Given what we've already been told about neutrino being another name for
NeutralLepton, and that there are only 6 leptons, it is tempting to have each of the types of concrete neutrinos extend
NeutralLepton and then have
Tau directly extend
ChargedLepton (for now), but the story with antiparticles has still not been fully addressed.