Up to hol.state0
Provide utility in DefnBase to pull out "all" the terms in a defn
Change src/bool to src/1 as a prelude to experimentation!