Up to hol.state0
More moving lcsymtacs implementations elsewhere Eventually lcsymtacs will just be a bunch of 'open' declarations, and then people won't bother to include it at all.
Change src/bool to src/1 as a prelude to experimentation!