Refactor trait generic types into associated types.

[sebschmi]

Currently, all the generic types of each trait have to be specified all the time. This is a huge overhead to write, and might not be necessary.
We should try if everything still works if we replace the generic type parameters of the traits with member types.