Contract semantics as types? Sure, let’s see how far it goes, how much it helps, and when it becomes a problem. If it saves us some contract tests, I’m all for it.