Make the Environment module fully type safe

[dcbaker]

Not too much here, mostly just asserts because of potentially code returning unions where we have a pretty good idea of what the type is.