Small optimisation to Type.merge
Improve readability of type names
Do not propagate type changes until all dependencies of a node has been notified
Ignore extra recalculations when more than one argument changes at the same time