how far is the idea that spec2 schemas are just sets of keys gonna be taken? is there going to be a full set of set operations for schemas like there's a full set of regex operations for a sequence?
It may be take even less far than it is :) not sure yet
is there any utility in a schema intersection?