basic interpreter, language specification updates, fixes