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.