Update implementing several ideas and algorithms mostly from [arXiv:2203.04269](https://arxiv.org/abs/2203.04269). These include:
- $p$-adic and finite field phase space points defined at spinor level (instead of four momenta)
- algebro-geometric technology, such as ideals in spinor components or invariants, and singular phase space points on irreducible varieties