If `#[mutable]` and `#[non_owned]` both turn off traits perhaps we can name them similarly, `#[non_send]`, `#[non_freeze]`, etc?

Both of these are added in 0.7. It seems notable that we are providing this way to turn off a feature of the type system, so I'm inclined to mention it.