fix(frontends/lean/proof_qed_elaborator): information about synthesized variables in a proof-qed block was being lost
fix(frontends/lean/proof_qed_elaborator): information about synthesized variables in a proof-qed block was being lost