Exporting additional prover width and dealing with keywords better.