introduce a new SwitchTypeMatcher node (which is analogous to