Purge sort depending functions in favor of parametric functions

[Drodt]

Intended Change

Replace all sort depending functions from KeY and replace them with parametric functions, e.g., int::select -> select<[int]>.

This PR does not affect behavior. In particular, sequences are not (yet) made parametric and the grammar is not really modified.

SortDependingFunction is removed.

Plan

• The grammar cannot be improved, because the sort depending function syntax is also used for fields, especially java.lang.Object::<created>
• Fix all the tests that are sure to break

Type of pull request

• Breaking change (fix or feature that would cause existing functionality to change)
• There are changes to the (Java) code
• There are changes to the taclet rule base

Ensuring quality

• I made sure that introduced/changed code is well documented (javadoc and inline comments).
• I made sure that new/changed end-user features are well documented (https://github.com/KeYProject/key-docs).
• I added new test case(s) for new functionality.
• I have tested the feature as follows: ...
• I have checked that runtime performance has not deteriorated.
• For new Gradle modules: I added the Gradle module to the test matrix in
  .github/workflows/tests.yml

Additional information and contact(s)

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.

[Drodt]

This java.lang.Object::<created> is not a sort-independent function.

It is a constant, not a SortDependingFunction.

I am also not aware, way the <..> are back again. Should the new syntax not ``java.lang.Object::#$created`?

This branch is not yet based on Java Parser. I thought, JP would take a bit longer than this PR.

[Drodt]

Delayed until #3120 is merged and invariants are changed from <int> to $inv

[Drodt]

Per the KeY meeting: This PR is truly ready. Eventual syntax improvements are left for future PR (but should be discussed soon!)

[WolframPfeifer]

I reviewed the code and it looks mostly fine, except for a few minor complaints (mostly about comments).

However, when trying to test the PR the GUI, already at start of KeY I get the following exception (even when removing the .key directory):

[16:35:05.483] ERROR XMLResources - Cannot not load help messages in info viewjava.util.InvalidPropertiesFormatException: jdk.internal.org.xml.sax.SAXParseException; 
	at java.base/jdk.internal.util.xml.PropertiesDefaultHandler.load(PropertiesDefaultHandler.java:85)
	at java.base/java.util.Properties.loadFromXML(Properties.java:1003)
	at de.uka.ilkd.key.util.XMLResources.getResource(XMLResources.java:58)
	at de.uka.ilkd.key.util.XMLResources.<init>(XMLResources.java:36)
	at de.uka.ilkd.key.gui.InfoView.<init>(InfoView.java:55)
	at de.uka.ilkd.key.gui.InfoView.<init>(InfoView.java:149)
	at de.uka.ilkd.key.gui.MainWindow.<init>(MainWindow.java:329)
	at de.uka.ilkd.key.gui.MainWindow.getInstance(MainWindow.java:417)

I am not sure if the reason lies really in the PR, also KeY does not crash.

Apart from that and the minor comments, it seems to work fine.