Extended keys (private or public).
This is a tagged union type, introduced by fty::deftagsum.
This is the (disjoint) union of extended private and public keys.
