Languages that prefer immutable variables by default would be a better solution for that than introducing two new types, surely. Reassignment of a variable shou

Languages that prefer immutable variables by default would be a better solution for that than introducing two new types, surely. Reassignment of a variable should be a code smell in nearly all contexts that don't involve a loop.