remove Tree.map_int, rename mk_list to concat