+ Implement check for value-based unconditionally exact conversion
  + apply it in dominance checks
+ implement: type pattern unconditional on the switch type is exhaustive
  + do not apply this rule in nested patterns
+ several tests from the new spec + variants for many type combinations

Fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/4476