fix(emacs/lean-company): use lean-grab-hname for findp auto-completion

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