transient state (dnc), with better Type and ScopedTerm, but stuck Symbol;
Several implems of Symbol is too complicated, and only one should be used;
hashconsed Symbol but without global/mutable state (use hashtable+variants for properties)