Stop overcalculating a mess out of junk, learn Rust and see what a Typesystem should and shouldn't have to do.