Add support for equality constraints on associated types
Mostly non-behaviour-changing changes (style, etc.)