Can't we just use symbols?  It's a set (after modifications above).