fix(frontends/lean/structure_cmd): simplify structure names
fix(library/init/logic): expose inhabited basic instances
fix(library/aliases): aliases in sections and contexts