bug: ftree using oplus commutatively when that is not a requirement
add pq-top and pq-rest
add ordered sequences