New Foundations for Geometry-two Non-additive Languages for Arithmetical Geometry