Property editing and expand-to-matrix

Leaf property values can now be edited individually in the annotation panel. Categorical properties can be expanded into binary presence/absence matrices. Propagated summaries are recalculated on demand after any edit.