Reorganise dependent pair types in Prelude.
Add Prelude.Pairs to the ipkg.
Remove the DependentPair typeclass.
Fix dependent pair names in reg030.
Import Prelude.Pairs into Prelude.
Add test, create the DepPair typeclass.
Make evidence witness explicit.
Implement basic010.
Implement basic010 properly.
Add a timeout.
Fix indentation, use monomorphic projections for pairs.
Rename Pair to Sigma.
Fix reg030.
Merge pull request #1265 from ziman/dependent-pairs

Split dependent pairs