Delete algebraic axioms

[Negabinary]

Remove the algebraic axioms, because they are redundant with the algebra option and might cause confusion.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 49.59%. Comparing base (862b8a2) to head (b2db72c).

Additional details and impacted files

@@               Coverage Diff               @@
##           write-steps    #2112      +/-   ##
===============================================
- Coverage        49.85%   49.59%   -0.26%     
===============================================
  Files              232      232              
  Lines            25727    25593     -134     
===============================================
- Hits             12825    12694     -131     
+ Misses           12902    12899       -3     

Files with missing lines	Coverage Δ
src/language/proof/Axioms.re	100.00% <ø> (ø)

... and 13 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.