...Are there any programming languages that will let you define your own primitives? It seems like it could be useful, both for restricting what your code can do, and for allowing the compiler to optimize it better, but I don't know a ton about that kind of thing. :/