Index some more uniqueness principles.  Add a cross reference
from the appendix to the proof of uniqueness for the unit type.