Pretty EquaSets

Make Prettifier to support EquaSets correctly.