Fixtype of maps from nibble arrays to byte arrays.
This is similar to bytelist-bytelist-map, but the keys of the map are nibble arrays instead of byte arrays. This is the type of the result of y [YP:(190), YP:(191)].
