Check out typed assembly languages like TALx86.
https://en.wikipedia.org/wiki/Typed_assembly_language