unused typedef still in core arith
unused in predicates also in operator and boolean
Merge pull request #868 from jtlap/core_arith

unused typedef still in core arith
Merge pull request #869 from jtlap/unused_predicates

unused typedef in predicates also in operator and boolean