fix(frontends/lean/structure_cmd): universe level validation
fix(frontends/lean/structure_cmd): universe level validation