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

Nessuno ha ancora preso questa issue.

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
```

Non sono indicati file sorgente o test. Inizia esaminando la gestione esistente dei refinement e il modo in cui LiquidHaskell gestisce i refinement delle liste, quindi analizza la traduzione delle liste in SMT-LIB e l'unboxing di Integer in int. Il lavoro è completato quando l'esempio LinkedList accetta 10 e rifiuta -100.

Scritto dal modello di indicizzazione a partire dal testo della issue.