src/share/algebra/*.daase update databases with new OrderedAbelianSemiGroup

make sure the databases are up to date