Rewrote IntrikyType into something much more coherent, at the expense of
losing the eq/eqv/equal type class nonsense I had before. This included
the addition of labels to IntrikyType. Also implemented section 7.1.2.
External representations.