+/** Walks over all type information reachable from global roots.
+ Touches every class in specified order:
+ - first the super class
+ - second the class itself
+ If new classes are created during the traversal these
+ will be visited, too. **/
+void type_walk_super(type_walk_func *pre,
+ type_walk_func *post,
+ void *env);
+