feat(frontends/lean/placeholder_elaborator): display instance trace header once per class-instance resolution problem
squash
squash
equivalence of sigma