fix: to_additive translates pow to nsmul (#1502)
- I tried translating it to
smul in #715, but that was a bad decision
- It is possible that some lemmas that want to be called
smul now use nsmul. This doesn't raise an error unless they are aligned or explicitly used elsewhere.
- Rename some lemmas from
smul to nsmul.
- Zulip