Change convention for associated type names
Change scoping rules per weekly meeting. Clarify super traits