[Conformance checking] Factor out associated type inference.

Move associated type inference into its own class, to make this
code easier to understand/maintain/improve. Minor diagnostics changes
because we're properly passing uninference associated type declarations
to the "group" checker.

Author: DougGregor