pass: Add unit test for type propagator
rename: KCTypePropagatorPass -> KCTypePropagator