Improve TR support of struct-type types

These commits improve the base types for reflective operations on structure types, such as `struct-info`, `struct-type-info`, and so on.

The PR also adds a new `Struct-TypeTop` type that is the supertype of all structure type descriptor value types.