Hi Dan,
general comparison operators for properties should have been
implemented a long time ago, thanks for bring this up. This is now
available in the GIT repository and will be part of the upcoming 6.02
release - thanks for raising this point.
Unfortunately there are no good examples
I'd like to ask about ways in which (sorted) sparse trees can be produced based
on numerical-valued properties. One thing I have in mind is that it would seem
natural to treat priority as a (1-dimensional) numerical quantity, rather than
as a categorical variable as it seems to be currently.