Enhanced Type Validator