Introduce HexEncodedBinary type, renamed