[johnday]

Perhaps what we need is a dialect which compiles to typescript and supports (or better, enforces) the immutability you suggest.