digraphs: propose common arabic digits

RFC-1345 actually describes these characters, but the listed code points
have changed in modern Unicode mapping instead to the "extended" variants
subsequently implemented in Vim.

Regard current implementations as canon, and reencode the intended
characters with different mnemonics.