Additive finally finished

Finished definition of addition using archimedean property.