Propagated types are incorrect for non-local branches

[kasperl]

The type propagator does not correctly merge local types in the presence of non-local branches (break or continue out of blocks). Any changes to local types at the branch point are forgotten instead of being merged to the statically-known branch target

This is the reason we currently skip tests/finally-params-test.toit when testing the type propagator.