- `zero` and `one` are not functions anymore, but evaluated values. - Add infix operators for `add`, `mul`, `div_exn`, `negate`, `eq`. - rename `inverse` in `inverse_exn` and use `Division_by_zero`. - improve documentation
- `zero` and `one` are not functions anymore, but evaluated values. - Add infix operators for `add`, `mul`, `div_exn`, `negate`, `eq`. - rename `inverse` in `inverse_exn` and use `Division_by_zero`. - improve documentation