Implement DerefImm and DerefMut #7141

Add the `Deref` and `DerefMut` traits and implement overloading explicit dereferences.