Add non-overlap tree metaconstraint

While here, and sepex for necessarily overlapping structures
Add 'Available' tree metaconstraint
Minor fixes across the project