AntiSet -> Antiset, clean up print-method