Use Ident.ident_printer and improve the identifiers names handling