Add Array.map_to_host(), plus infrastructure