Consistently use `HexIntegerLiteral`s for Unicode code point values

When referring to Unicode code points, it’s easier to stick to hexadecimal notation. We were already doing that in some places. This patch makes sure we do it consistently.