<div dir="ltr">All:<div><br></div><div>Jacob has already identified a <i>big</i> hole in the proposal, which is that it doesn&#39;t define how operator-bound identifiers are treated by import. That definitely needs to be addressed by the proposal. It&#39;s straightforward, but easy to get wrong. I will address that early tomorrow.<div><br></div><div><br></div><div>Jonathan</div></div></div>