Extensions of umbral calculus II: double delta operators, Leibniz extensions and Hattori-Stong theorems