Use different types for payment and stake credentials

When defining `calculatePoolDistr` in #854, it became apparent that it is easy to neglect checking that comparisons of credentials make sense.

Since there are credentials for payments and stake delegation, comparison is reasonable between payment credentials or between stake credentials. But I don't think we want to compare a payment credential with a stake credential. Therefore, I'm proposing to introduce different Credential types to distinguish the two.