remove the restriction that all rule names must be unique

This may cause confusing counterexample traces, but ultimately there is no
fundamental reason why we should prevent users writing a model with two rules of
the same name. After all, nothing we do depends on these names.

Github: closes #149 "rules with the same name"