feat(frontends/lean/structure_cmd): allow inheritance from two identical structures, closes #296