Python library for implementing string-like classes and lazy strings