Description core

core	Defines core components for descriptions in convex algebras.
examples.arithmetic.core	Defines arithmetic descriptions.