Removed remnants of `@mut` and `~mut` from comments and the type system.