more unused typedef in boolean, predicates reduction and swar
Merge pull request #839 from jtlap/more_unused

more unused typedef in boolean, predicates reduction and swar