Add accessors for extracting types from field accesses to ty.rs.
Add accessor to map a LoanPath to its type.
Sketched out some initial code for tracking needs-drop fragments.

Put in some more notes on how d/d{S}(P) is calculated.