FYI, I'm pretty sure we already convinced GLS that get-setf-methods MUST NOT be passed an already macro-expanded form, which implies it must get an environment so it can do its own macroexpansions, as you notice the SPICE code does. Maybe we need an up-to-date list of proposed changes which incorporates the discussions generated by the last list?