Delete algebraic axioms#2112

Negabinary wants to merge 2 commits intowrite-stepshazelgrove/hazel:write-stepsfrom

delete-axiomshazelgrove/hazel:delete-axiomsCopy head branch name to clipboard