Extend `ruleOfProp` to handle rewrite rules that use `Eq` type.
Extend `ruleOfProp` to handle rewrite rules that use `Eq` type.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script