my attempt at magic

lua interpreter: http://bpaste.net/show/kidIoH7vfJlDUvEXPzdd/
still missing features like skip and parenthesis for composing operations

example code:

bindself fact conjure empty
enchant fact set cond = n 0
enchant fact if cond unsummon self with acc
enchant fact set acc * n acc
enchant fact set n - n 1
print summonhold fact with n 10 and acc 1

>>14
I suppose the issue isn't really global versus local, but what constitutes a variable declaration and what is a reference to a variable in an outer scope. With local, you declare a new variable that exists in the current scope. If you don't use local, you are referring to a variable defined in an outer scope. If no such variable exists, then you are creating a new global variable. I suppose one way to formulate this, is to say that every variable of every possible name is always defined in the global scope with an initial value of nil.