
Subtext needs a better semantics of mutable state. That is the goal of Coherence.
You need to see for yourself. The latest state of Subtext is described in this paper. Here is the original paper, and a subsequent tech report. The old video of Subtext 1. Here is a tech report about some new directions for Subtext.