At the machine layer, the machine is doing symbol manipulation on bit patterns. Whether those symbols ultimately mean anything is entirely up to the eventual observer of the end result.

The concept of "types" breaks down at this level much like the concept of "a dog" breaks down at the atomic level.

It's an implementation detail of popular architectures nowadays. It doesn't have to be like this.

E.g. https://en.wikipedia.org/wiki/Tagged_architecture

Machine code is type erased, not really untyped.

If you squint, you could say the same about Python code that's been checked with Mypy.