I feel like you're trying to merge computation as a science with an idealized language choice and I don't think it would serve students well. The "sharp edges"

I feel like you're trying to merge computation as a science with an idealized language choice and I don't think it would serve students well. The "sharp edges" of C in either user mode or kernel mode when running on an x86 or arm platform are true implementation semantics that you must deal with while trying to realize genuine "computation." Programming languages are just collections of human shorthand for managing these semantics. Which makes me feel that inventing this language would be putting the cart before the horse.