first version of the bldg with axioms in classes.

real ranges and complex numbers should be refined.