Implement automatic overloaded deref.
Closes #7141.