get us closer to something plausible.

At this point it dies with `var-addr: no clauses matched for (var-addr (((g 1))) g)`

which makes sense because the definition of `var-addr` is:

```scheme
(define-metafunction Patina-machine
  var-addr : vmaps x -> alpha)
```