New annotation: @type to change the type of a declaration

[lukarade]

Is your feature request related to a problem?

Currently, it is not possible to change the type of any parameter. Often the documentation is not correct or unspecific.
Sometimes we just want to replace the type, for example String with Enum.

Desired solution

Add a new annotation type: "@type" with one parameter, with the following possible values:

• String → Enum
• Int/Float → Boundary
• Other named types (also possible from library) → NamedType (from Typing)

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

Also see Safe-DS/Library-Analyzer#42, Safe-DS/Library-Analyzer#36, and Safe-DS/Library-Analyzer#23