Add support for equality constraints on associated types

r? @nikomatsakis 

cc @aturon (I think you were interested in this for some library stuff)

closes #18432