Add rule and operator interface. Add implicit implementation of equals and not-equals operator.