archetype
constraint 'b ident_map = 'b ident_map
method visit_ident : 'b -> 'env. 'env -> ident -> ident