Add function 'ruleOfProp' for turning cryptol equations into rewrite rules
Add function 'ruleOfProp' for turning cryptol equations into rewrite rules

This is a variation of 'ruleOfPred' that expects 'Cryptol.ecEq' instead of
'Prelude.eq' as the equality operator.

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