Feynman operator calculus, time-ordered semigroups, Hille-Yosida theorem, Trotter-Kato, path integrals