validaciones de los tipos