Coin types.
According to [BIP44], these are indices in the key tree, for which hardened keys must be used. Thus, we model coin types as 31-bit unsigned bytes (with the understanding that they have to be increased by 2^{31} to be used as indices in the tree).