Define Hex

Complete the definitions in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/environment/hex