[TODO] Support parsing/adding annotations for values

[MaxXSoft]

See https://pku-minic.github.io/online-doc/#/misc-app-ref/koopa?id=%e6%b3%a8%e9%87%8a%e5%92%8c%e6%b3%a8%e8%a7%a3