[Gibbon1]

I highly agree that they need to add slice and buffer types to the standard headers. Especially true because the recently added counted_by attribute.

Definitely feel the strict aliasing rule should be opt in.

And there are a lot of small UB that can be eliminated here and there.

I'll add adding types as first class objects. Make typeof actually useful