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

Chưa có ai nhận issue này.

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

Không có tệp mã nguồn hoặc bài kiểm thử nào được nêu. Hãy bắt đầu bằng cách xem xét cách xử lý refinement hiện có và cách LiquidHaskell xử lý refinement của danh sách, sau đó điều tra việc dịch danh sách sang SMT-LIB và unboxing Integer thành int. Công việc được xem là hoàn tất khi ví dụ LinkedList chấp nhận 10 và từ chối -100.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.