Clean up leapfrog integrator and prototypes