val fourier_tac: ProofEngineTypes.tactic