Clear up the remaining outstanding issues at review:

 * Use values_with_halo
 * Rename map_dim as map_arity
 * Document the subset argument to assign.