Made s.add use set.add instead of set.push.  Also made empty s.map return an empty set.
Made all set-related functions use set.add instead of set.push. Made set.push an alias to set.add, for maintaining uniqueness.