Minor tweaks to IntSet -- removed unnecessary value aliases.