What I'm suggesting is to get rid of the current view of types. The `type` and `annotate` and `isa` functions would still be used, just for a different purpose: defining interfaces.
So in that sense, yes, you're right. But it's not to the extreme of rocketnia; I'm merely suggesting to change how they're used.
