DynamicAcc2: normalize tuples to internal rep (snoc pairs) creating a full Acc #21

This is one possible solution. We could just do a global normalizing pass before getting to the backend where DynamicAcc is used.

Currently, it looks like we partially support N-array tuples (e.g. for ETuple), but tests like p13b are failing.