We introduce a fixtype for finite maps
from nibble arrays
to byte arrrays,
based on the fixtype of omaps.
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)].
