Ensure those two pointers are rooted.
Root a forgotten tuple
make Char no longer a subtype of Integer

Char now supports a limited set of "integer like" behavior.

* comparisons with integers
* Char - Char = Int
* Char + Int = Char

update docs and add a NEWS.md entry
Keep track of number of initialized fields and avoid undefined checks