Test touchups
Make selectors a disjoint type
High level iset interface