Implement automatic overloaded dereference.
Closes #7141.
Introduce a common recursion limit for auto-dereference and monomorphization.
Apply @nikomatsakis' nits and comments patch.
Region + borrow checker support and tests for overloaded autoderef.