Deal with external libraries

- Annotate libraries
- Use those annotations inside Latte
- we can use the `@ExternalRefinementsFor("java.util.Iterator")` annotation from liquidjava - you can check the examples in liquidjava at https://github.com/CatarinaGamboa/liquidjava/tree/main/liquidjava-example/src/main/java/testSuite/classes/arraylist_correct

Start by reading the linked liquidjava arraylist_correct examples and the use of @ExternalRefinementsFor("java.util.Iterator"). Then inspect how external libraries are currently handled in Latte. Done means libraries are annotated and those annotations are used inside Latte, as described in the issue.

Written by the indexing model from the issue text.