Display "best ruleset" to user

[ninehusky]

Builds off of general direction in #64, this is a half-baked idea and might not be possible. I'm thinking maybe when we discover some rule, we could hold off on immediately outputting the rule. Perhaps we could do the following: when we discover a rule a ~> b, we could somehow print the rule as a ~> extract(b), where we assume extract(b) gives us the syntactically smallest representation of b.