Operator traits

The "precedence" trait defines the relative precedence between any two operators (as a simple string compare). Currently precedence values must end with an equals sign.