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