refactor(library/private): add hidden_to_user_name and user_to_hidden_name functions

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

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