Pico move#13

Draft

aosen-xiong wants to merge 10 commits intoeisop:masterfrom

aosen-xiong:pico-move

Commits on Jan 3, 2025

Start work on type check guava with PICO
Aosen Xiong
committed

Commits on Jan 8, 2025

Revert hardcode pom
aosen-xiong
committed

Commits on Feb 20, 2025

Commits on Oct 6, 2025

Commits on Oct 29, 2025

Many annotations
aosen-xiong
committed

Commits on Oct 30, 2025