refactor(CharP): make variables explicit + refactor

[grhkm21]

Follows up on Yael's comment in #8612 by making n (in x ^ (p ^ n)) explicit.

---

• [ ] depends on: #8612 Lucas' Theorem

CI should fail in places where the theorems are used, but I will fix them using the CI results.