Support `LinkedList<@Refined(“x>0”) Integer>`

Dieses Issue hat noch niemand übernommen.

Add support for refining all the items inside a List.
This is a large task with several challenges inside, some of them include:

- supporting list refinements, see how LiquidHaskell handles them;
- how to translate lists to SMT lib;
- unboxing Integer to int.

Small example code:
```java
LinkedList<@Refinement(“x>0”) Integer> li = new ArrayList();
li.add(10); // okay
li.add(-100; // error
```

Es werden keine Quelldateien oder Tests genannt. Beginne damit, die bestehende Behandlung von Refinements und den Umgang von LiquidHaskell mit Listen-Refinements zu untersuchen, und untersuche anschließend die Übersetzung von Listen in SMT-LIB und das Unboxing von Integer zu int. Die Aufgabe ist abgeschlossen, wenn das LinkedList-Beispiel 10 akzeptiert und -100 ablehnt.

Vom Indexierungsmodell aus dem Issue-Text verfasst.