There is a binding z that comes from a with-syntax but it does not flow through!! Is it because of the shift in the middle?
Anyway I managed to make it work with earlier versions of psyntax but have hard time to make it works with current 2.0.
Again the main issue is that guile psyntax does not support the #s notation in racket and hence the
hacks on the syntax objects. (see the series of emails that I send previous week)