Bug hunt completed: arreglo 'operator[]' en Maps

- El problema era que Value no se copia, solo se copia el puntero al box, y
  en un caso una llave venía de una variable que se modificaba luego, y por tanto
  con ella la llave del map. Eso volvía loco al map.