removed auto-conditional keybinding
fixed sexprw-execute-tactic to work with C-u arg
... fix execute-tactic command (inf. loop)
add search
added eta-expand tactic (uses minibuffer for input)
fix bugs, change keybindings
misc cleanup
more cleanup
tactic list cleanup, notes
started case-lambda tactics