Proposal: Interpretation semantic for locals are undefined

Stephen Pelc, 2 Sept 2020

See https://forth-standard.org/proposals/wording-declare-undefined-interpretation-semantics-for-locals#contribution-133

RUV states that interpretation semantics for locals are undefined.

This is true for (LOCAL) so we should add:

local Interpretation:

Interpretation semantics for this word are undefined.

LOCALS| refers to (LOCAL) so (LOCAL) covers the case.

For {: we need to add:

name Interpretation

The interpretation semantics of name are undefined

then remove the ambiguous condition in name Execution.