Implement automatic overloaded deref.
Closes #7141.
Introduce a common recursion limit for auto-dereference and monomorphization.