Add support for recursive relation/tuple types.
Add a Hierarchize experimental operator.