wsint v0.11

Minor changes to the execution part of the interpreter to make it more
efficient.