Idea: Borrowck Transparent Function Calls

Makes sense; then, we could support writing something like &mut{_} self to get a compiler error with a suggestion that fills in the subsets in the {}.