Predicate core

core	Defines basic predicates used in convex algebras.
examples.arithmetic.core	Defines arithmetic predicates.