Ah, so there is a technical term for this type system feature. Thanks for pointing that out. I've read a little more on that topic now and it looks like a full dependent type system is a bit of an overkill.

Having at least something comparable to what C++ provides would still be an asset though. Do you think that's possible?