Keep supporting carl-parser?

[volkm]

carl-parser allows to parse carl types from string. The support depends on ANTLR which is not the simplest to maintain. Luckily, so far it keeps working.
For now, the CI builds most configs with carl-parser. But for instance the wheels on pypi are currently built without support for carl-parser.

The question is how important the carl-parser is. Do we want to continue supporting carl-parser long-term or should we deprecate it at some point?

[sjunges]

I would vote to remove that and have a lark-based parser for polynomials instead.