chore(frontends/lean/placeholder_elaborator): cleanup
chore(frontends/lean/placeholder_elaborator): cleanup