The Nine Lemma and the push forward construction for special Schreier extensions of monoids with operations