Move primitive crypto types to pkg/crypto

Reduces dependencies on the types package (which becomes a bit mis-named) and the merkle package.

Intended to enable rework of ascii package, without having to add a (circular) dependency on types.