[Typing] Propagation of UnitPropagate nodes complete. UnitPropagate nodes removed after the propagation phase. It closes #34 and is related to #15.