Converting type to string typename is entirely dependent on the context.

Do a bunch of infrastructure changes to reflect that.