Give better error messages when sets do not satisfy constraint Set.
Give more context when a type constraint is not satisfied.