feat(frontends/lean/builtin_cmds): add 'using' command, and 'hiding/renaming' directives

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/builtin_cmds): add 'using' command, and 'hiding/renaming' directives