NonNullU8 is actually called NonZeroU8

Author: RalfJung

wip/value-domain.md

@@ -87,9 +87,9 @@ Certainly, a value `Int(i)` where `i` in `0..256` is related to `[b]` if `b.as_i
 And then, maybe, we also want to additionally say that value `Uninit` is related to byte list `[Uninit]`.
 This essentially corresponds to saying that uninitialized memory is a valid representation of a `u8` value (namely, the uninitialized value).
 
-### `NonNullU8`
+### `NonZeroU8`
 
-`NonNullU8` is basically the same as `u8` except that we remove the 0, and certainly do not consider `Uninit` a valid value.
+`NonZeroU8` is basically the same as `u8` except that we remove the 0, and certainly do not consider `Uninit` a valid value.
 A value `Int(i)` where `i` in `1..256` is related to `[b]` if `b.as_int() == Some(i)`, and that's it.
 
 ### `union`