Add: Detailed discussion of the use of the Trotter product formula in the Dyson expansion. Minor fixes