generic equality implementation for switch

a switch is only equal if x and y wrap the same type and
the wrapped values are themselves equal