more unused typedef in boolean, predicates reduction and swar