This actually has already been done in OS research.

https://en.m.wikipedia.org/wiki/Verve_(operating_system)

https://en.m.wikipedia.org/wiki/Typed_assembly_language

Which eventually grew to stuff like this,

https://github.com/project-everest/vale