feat(frontends/lean): add 'SYMBOL' and 'IDENTIFIER' information to info_manager

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/elaborator): generate identifier information for overloaded identifiers

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(tests/lean/interactive): adjust test output to reflect new features

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>