Make Integer (and all derived rings) an actual value-type. I.e. implicit const->mutable casts are now possible. This should make everything const-correct.