Cleanup trait lattice hierarchies
Don Thing lazily