class default_class_definition_folder : class_definition_folder
The default "folder", that folds over the whole structure by
doing nothing. When inheriting from this class, one should not forget
to call the parent methods in order to ensure that the whole
structure is traversed.