Avoid obsolete names for functions and types

[fingolfin]

CC @ederc @thofma

[codecov-commenter]

Codecov Report

Attention: 4 lines in your changes are missing coverage. Please review.

Comparison is base (5d1cc94) 94.87% compared to head (7b6f308) 94.87%.

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@           Coverage Diff           @@
##             main      #21   +/-   ##
=======================================
  Coverage   94.87%   94.87%           
=======================================
  Files           6        6           
  Lines         273      273           
=======================================
  Hits          259      259           
  Misses         14       14           

Files	Coverage Δ
src/algorithms/groebner-bases.jl	100.00% <ø> (ø)
src/examples/katsura.jl	97.43% <100.00%> (ø)
src/interfaces/nemo.jl	98.14% <ø> (ø)
src/types.jl	94.11% <100.00%> (ø)
src/algorithms/solvers.jl	92.18% <76.47%> (ø)

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[ederc]

@fingolfin Thanks!

[fingolfin]

@ederc could you perhaps make a new release with this in? I see that you just merged some bigger changes atop, so if that's a problem, a release made from a commit right after this PR was merged would also be fine.