Semantics: Rename PTR -> VAR to better match the implementation