tune help
make Index repn purely circuit-based
bugfix
residue is an index
singleton star represents empty-string gate name, in parsing and printing
update faculty index