Fixed bug where successful rules became weaker over time due to incorrect type assumptions.