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