Small improvements to SmallIntSet
New approach to chessprop, using pre-existing check information
going to do this a different way...
Fix bug in layout where the exterior was not waiting until variables were unique (in subterms)
ITE should really be ITE10 (since true is on left). Add it to circuit/library/layout. It validates
Better default colors for edit.el
Chessdemo from files. Add layout support for nand/nor
Fix some bugs. Add ITE to minitable. This may be as good as it gets without exotic gates