Your dream type system is out there, yet not manifest in any popular or somewhat-popular language. I've yet to see a strictly/strongly typed language that make

Your dream type system is out there, yet not manifest in any popular or somewhat-popular language. I've yet to see a strictly/strongly typed language that makes this easy to do. Through some combination of plugins, esoteric languages, macros, or boilerplate, sure. We're decades behind what is possible due to the practical.