fix(frontends/lean/elaborator): provide type information for expressions using '@' operator, and strict function applications

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(frontends/lean): flyinfo for identifiers defined in sections

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