seq elimination, flattened map val encoding

- map value slots are flat instead of an array of pairs