This has three components: - [x] Handle `char` literal constants. - [x] Add a `char` variant to `PrimVal`. - [x] Diagnose reads and writes of invalid `char` values in `Memory`.