[WIP] Annotated completions#711

Merged

zth merged 14 commits intomasterfrom

annotated-completions

Jan 24, 2023

Commits on Jan 21, 2023

Commits on Jan 22, 2023

pick up all props needed to print types both from type_expr and declarations
zth
committed

Commits on Jan 24, 2023

poly -> real variant
zth
committed