I changed `is_valid_type_ex` so that we could write the module name at a later date, but I didn't because doing so would break compatibility with older versions of JLD. If we wrote module names, we could actually write `TypeVar`s the same way `show` does without introducing ambiguity, although we'd need to write code to evaluate them instead of just calling `eval` on the AST.