[winwang]

I wonder if we should have a kind of "hidden type system", where we still take advantage of having a single type system to reason about, but the extra-specific "weird-ish" types can be hidden, almost like private variables, where visibility is literally hidden from the programmer unless obtained from debug modes or errors.

[SoylentOrange]

You mean like the C++ auto keyword but everywhere?

[Warwolt]

auto is just type inference, doesn't change any visibility