This change makes tree description completely open to mechanical analysis and ensures consistency between description formats for each of the iterator types. Renamed StatsContainer.(Kind -> Type) for consistency.
Bugs found.
Because of extensive nature of changes, tested all three non-memstore backends - passed.