Cool! It looks like you are creating a more robust interpreter. The one I told them to implement is simpler (no type check, for instance).