Minor optimisation to collectNonRemovable.
Remove dead-code removal when inlining in copy/constant propagator.

A later pass does this anyway (although I might remove that too).
Simply do-loop typechecking.