Our Trotter module currently only supports first order (Lie) Trotter. Higher-order (ideally arbitrary order) Trotter should be implemented.