disable promotions

Nobody has claimed this yet.

make `float` not act like `float | int` (and `complex` act like `complex | float`) , and `bytes` not act like `bytes | memoryview | bytearray`

we can still infer `float | int` though:
```py
a = 1
reveal_type(a) # float | int
```

will support configuration per module, to preserve compatibility:
```py
from thirdparty import some_float
reveal_type(some_float) # float | int
```

Start by locating the type-promotion logic and the configuration entry point for per-module behavior. Use the examples in the issue to define the expected handling of float, complex, bytes, and inferred float | int types, then verify that compatibility configuration remains possible.

Written by the indexing model from the issue text.