Some infrastructure for integrating PDEs