Type test: Thoroughly examine the raised InvalidTypeError.
Type test: Refrain from instantiating InvalidTypeError(s).
Type test: Refrain from instantiating BadTypeDefError(s).
Type test: Separate and refactor testing for correct typedefs.
Type test: Thoroughly examine the raised BadTypeDefError(s).