add Utf32.cons and snoc