Add PairCases tactic Previously only Cases, Cases_on and PairCases_on existed, now we have PairCases as well.
Move pair, one, sum and option into one combined coretypes directory