while removing unnecessary dims in maps, also replace int-valued dims that are...

while removing unnecessary dims in maps, also replace int-valued dims that are not in {0,1} with {0,1} (we're only describing relative order, so higher int values are unnecessary and confusing)