Added specific constructor names for rules with multiple entries so that the cons name is different than the rule name.  This makes reading ATerms easier.