Librería para la validación de tipos de datos