mypy

[mypyc] Add 'bit' primitive type and streamline branching

#9606

Merged