Helper classes for creating and traversing recursively nested data structures in Python. Useful when simple languages and abstract value domains like type and shape systems