Annotating a variable without specifying its type

Ideas
6

See also this proposal of mine: An alternative to Annotated - #14 by Jacob-Stevens-Haas