make gate enumerators sorted
add first-order circuit indexer