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

>>8
You get normal lexical scoping using local. I was about to say maybe local could be implicit and a global keyboard could make global variable references explicit, but that has it's own problems.