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

Nadie ha tomado este issue todavía.

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

No se indican archivos fuente ni pruebas. Empieza examinando el manejo existente de los refinamientos y cómo LiquidHaskell maneja los refinamientos de listas; después, investiga la traducción de listas a SMT-LIB y el unboxing de Integer a int. Se considera terminado cuando el ejemplo LinkedList acepta 10 y rechaza -100.

Escrito por el modelo de indexación a partir del texto del issue.