Thank you everyone for participating in the review. The Core Team has decided to accept this proposal, including the modification to make let bindings to be isolated by default like other declarations are proposed to.
The ongoing discussion here is still interesting and relevant to the near-term evolution of actors, so I think it is OK to leave this thread open.