extra semicolons removed from (some) .sig files
Change src/bool to src/1 as a prelude to experimentation!