Added a comment to EquaSets to explain why I needed an implicit <:<
on the contains method.