Avoid duplicate logic in WHEN-LET* (take 2)
By using an explicit PROGN we can interpolate straight into the LET. The PROGN shouldn't matter, as the WHEN interferes with DECLAREs anyway.
By using an explicit PROGN we can interpolate straight into the LET. The PROGN shouldn't matter, as the WHEN interferes with DECLAREs anyway.