OSCAR's json-based math serialization format

[mahrud]

There's (yet another) math serialization format around the block which seems to be championed by OSCAR, but is also supported by polymake it seems: https://arxiv.org/abs/2309.00465 I'm a little confused about what is the main new feature, but everything seems to be algebraic, so it would be useful to have a way to parse this and create M2 objects when needed (or for ease of benchmarking, etc.)