Terms: Add "wallet" and "digital wallet" with alias to credential manager

[timcappalli]

#386 (comment)

[marcoscaceres]

I'm not in favor of doing this as that will be confusing (aliases are usually only for uncomputable forms of the same concept). Let's stick to only one term (i.e., "credential manager" everywhere). 🙏