Author here: sometimes you want to get the tag of a value, and operate on that tag as a value, but I guess this may not be necessary in this system, given that

Author here: sometimes you want to get the tag of a value, and operate on that tag as a value, but I guess this may not be necessary in this system, given that the get_tag instruction will produce an immutable string. EDIT: removed it. It was probably left over from old code, previous VM's I've written: https://github.com/maximecb/zetavm/commit/7ef746f061135304684c5029820631a688c399fa https://github.com/maximecb/zetavm/commit/7ef746f06113530468...