In Penknife, fixed a typo in set-impl.
In Penknife, distinguished between strings and names. Names are generalized comparable, serializable tokens. This lays the groundwork for gensyms and namespaces.