Atualizando todas as proposições, de todos os tipos