fix trivials, update SerializedArray submod