validar tipos y existencia de las propiedades de un Type