The overload requirements for defining a custom Hamiltonian as an infinite sum of terms is a bit convoluted right now.
We should simplify it such that users only have to define an OpSum for the Hamiltonian terms connected to the first unit cell. Then an InfiniteSum{MPO} would just be made from the MPO made from that OpSum.