there will also be something like a type checking later but not actually type.

think how an assembly register might work, it doesn't care what the actual type is as long as it's the same size, my variables will be like that 2.

we will statically assign a structure with specific sizes.
then we can accept anything that has the same structure and size.