feat(frontends/lean): rename '[fact]' to '[visible]'

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(frontend/lean/server): auto completion doesn't use prefix, fixes #147