SONARPY-2013 Make it possible to OR type predicates

[guillaume-dequenne]

(This is a draft, requesting review to gather your opinion and possibly discuss it - However I would be fine not merging it in its current state, as it may simply not be needed yet)

[sonarqube-next[bot]]

Quality Gate passed

Issues
0 New issues
1 Accepted issue

Measures
0 Security Hotspots
100.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube

[guillaume-dequenne]

Closing this PR for now: should be revisited when implementing the broader type checking API changes.