Test for Map Type Translation

Testing that the destination map type does not need to be the same as i
the source. Even without explicit annotation, if the map type is
different, the destination type can be substituted.

Part of #37 (Map Translation).