Consider adding `--non-numeric-bool` mode

As it was discussed in https://github.com/python/mypy/issues/8069, sometimes we need to logically separate int and bool types.

Currently mypy allows this to happen:

def some(a: int): ...

some(x > 1)

Because bool is subtype of int. I am proposing to add a strict-bool mode, so bool would be treated as a non-int type. And this code would generate an error.

It can be a new config option: --strict-bool or a new disabled by default error code in the future as @JukkaL suggested.

Inizia esaminando la discussione in issue #8069 e l’esempio in cui bool viene passato a un parametro int. Determina il comportamento previsto e se debba trattarsi di un’opzione di configurazione --strict-bool o di un codice di errore disabilitato. Il lavoro è completato quando l’esempio viene rifiutato con la funzionalità abilitata, mentre il comportamento esistente rimane invariato per impostazione predefinita.