Verificação de propriedades em tempo de execução indexadas por tipo
