Added `map_strarr` function, which generalizes the application of int->term maps to term-value arrays.