`SelfUniq` and `SelfValue` have the mutability of the *binding*, not of the inner *type*.
That said, in my self-demoting/env-removal branch, I moved the mutability into the pattern of the `self` argument I've added to methods.