redefining modules for attributes of And, Or, Implies, Rule

Using new strategy described in issue#68