first version of the interpreter for L1, and some minor fixups and comments