hash-consing persistent
Lazy hash-consed strings