Type test: Make tests staticmethods.
Type, Type test: Move is_array out of Validator.
Type test: Remove unused variable.
Type: DRY InvalidTypeError hierarchy. Groom code.
Type: DRY BadTypeDefError hierarchy.
Type test: [TDD] Replace Validator class with simple functions.
Type: Replace Validator class with simple functions.