Fixed private type of rules and representation of rules.
Removed parentheses in sorts.