removed emacs backup file
nicer-names pattern synonyms for the indices of BoolTrio gates
low-level proof combinators OK, high-level not yet
trying to prove register props, start from simpler (toggle)