Replace structs by oscar data types

[HereAround]

• E.g. use polynomial rings, so that aboslute primary decomposition can be used (cf. https://oscar-system.github.io/Oscar.jl/dev/CommutativeAlgebra/ideals/#Decomposition-of-Ideals)
• Use Z^n grading and report back to oscar.