Operator: compare-values

Operator Overview:

This operator compares the two times on the state, returning a result that elaborates the original compare-time operator with the result.

Operator Proposal:

It is proposed as soon as there are two attribute-value pairs on the state to compare.

Operator Application:

A separate application production is used for each pair of visual objects to be compared (yes, that's O(n^2)). Currently there are only two.

Operator Reconsider:

Terminates from above when the compare-time operator can continue.