[murftown]

Seems like (1) is doable, as long as it's opt-in. But if it becomes the default behavior, existing applications would break when they do something against the type system. I'm not sure what (2) buys you.

[nine_k]

(1) is the interface to trigger (2).