I did start to rebase this, but it looks like there's an unrelated issue in main blocking me from testing it (and fixing my examples), so I'll leave this with the conflicts for now. I did realize that aTo String {int: INT} block was added today, so, we'll have to sort that out, but I think having anAs String {value: VARIANT} makes more sense, especially if we can get those variant inputs to accept all the concrete types as well :)