compressed paths continue to derived objects now
added matching, fixed disjoint sets

added support for matching
fixed disjoint sets by replacing node-associations with element lookups
(no more need to keep the associations updated with node-rank
adjustments)