vrex: Differ between semantic and eval errors. We will add an intermediate semantic checker