feat(frontends/lean/parser): allow `_` at level expressions
fix(frontends/lean/inductive_cmd): temporary aliases must take explicit universes into account, fixes #215
fix(frontends/lean/inductive_cmd): temporary aliases must take explicit universes into account, fixes #215