Refer to Python-level variables via {}?

[kach]

e.g. alice: chooses(x in X, wpp=f(x + {y})) where y is a Python-level variable. Syntax is literally a set display, but is meant to evoke a format string.