another way to accomplish this, and also eliminate any and all possibilities of human error, is to make the type checker part of the language. You're still doin

another way to accomplish this, and also eliminate any and all possibilities of human error, is to make the type checker part of the language. You're still doing the same thing, just with extra steps and implicit rules