Remove the DependentPair typeclass.
Fix dependent pair names in reg030.