Strategies core

core	Core strategy classes for convex algebras.
examples.arithmetic.core	Defines arithmetic strategies.