* web/code_map/draw_macrolevel.ml: some renaming