What should we add?

The recently released https://crates.io/crates/rustiq-core rust library contains some alternative methods for synthesis:

https://docs.rs/rustiq-core/0.0.2/rustiq_core/synthesis/index.html

which could be used to construct synthesis functions to synthesize different high level objects. Specifically we should investigate the pauli network synthesis for the PauliEvolutionGate.