Factor duplicate in example
Lint
Properly-monoidic RuleDatabase