Simplified definition of call stacks---return variables are always temporary, and copied into the assigned locals after
spec.txt: rewrite of grammar, no more symbols or symbol tables