Moved NumericalDomains to the numerical package.
Add the top numerical abstract domain.
Move the Sum domain in the numerical package.
Initial framework for the analysis of objects.