chore(frontends/lean/placeholder_elaborator): cleanup