m3-extract-constraints: add --map-cat-values option