RationalAngle. Subtypes for periodic and preperiodic?
InternalAddress. Ensure it is strictly increasing sequence of Ints. Support for infinite? what does that get us? Is there a sense in which internal addresses of rational angles are periodic?
AngledInternalAddesss. Ensure that the angles are valid given the InternalAddress