No worries at all. I got something working in the end, but only by working out what I could from your code, and taking some of your ideas, such as using lenses more directly rather than mangling syntax: https://github.com/dys-bigwig/racket-6502/blob/master/dot_equals_macro.rkt

Thanks for your help :)