Well isn't it natural that a constness system has a much larger impact than just some syntax additions. I don't see any flaws in its design. The implementation is of course still buggy though and needs to mature.