Remove operation_repr axioms

Guillaume Claret requested to merge clarus@remove-operation-rept-axioms into master Dec 20, 2021