feat(library/declaration_index): add 'a|abbreviation-name|declaration-name' entries in .ilean files
feat(frontends/lean): associate type information with left '('

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(frontends/lean): use consistent filename convention

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(tests/lean/interactive): adjust test expected output

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(frontends/lean/elaborator): bug when elaborating expressions with multiple annotations

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
perf(frontends/lean): do not create extra_info annotation when we are not collecting info

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
perf(frontends/lean): do not create extra_info annotation when we are not collecting info