codegen: better tracking of type information
Make sure more (or most) stores are marked with some TBAA information.
We should definitely still try to sharpen it, but for now, at least make
sure it has some information.
Also mark range information on Bool and Union-TIndex.
