Use typing features for supported languages

[dcbaker]

This uses to a mixture of Literal and TypeAlias to provide better checking for compilers/programming language access. It's a bit of extra code, and does require a few casts to help out cases that it absolutely shouldn't need casts for, but it does catch a real bug in the CMake dependency code.