Simplify the definition of HexadecimalDigit