Add `Mul<NonNativeFieldVar<G::ScalarField, G::BaseField>>` to `G: Group`

[Pratyush]

Summary

We don't have a scalar mul impl of a group element variable with its scalar field element.

Problem Definition

Ergonomics

Proposal

Add a Mul trait bound and the corresponding impls.

---

For Admin Use

• [ ] Not duplicate issue
• [ ] Appropriate labels applied
• [ ] Appropriate contributors tagged
• [ ] Contributor assigned/self-assigned