RFC: associated items and multidispatch
Fix mistake in type inference characterization
Fix a few typos
Change convention for associated type names
Change scoping rules per weekly meeting. Clarify super traits
Merge remote-tracking branch 'aturon/associated-items'
Associated items is RFC 59