TypeSwitch with do-nothing default action (not exception)
strategies are public
correctly generating signals
simplification
Kernel bugfix and unregistration