Made s.size into a property (with a getter) instead of a function.
Added s.id to s.toString.
Made emptyset return ∅ on s.toString.