How hard would it be to automatically convert some existing C++ into the new language? It seems like your compiler can diagnose the errors, so inserting `mutable` and `bool(...)` should be possible.

It might be interesting to do this on an existing codebase just to see where mutable is needed.