[richard_todd]

In many forths you can have what they call locals, so your example can be:

    : add {: a b :} a b + ;