We have started adding types to our puppet files, and can manually check them using Jenkins (example).
However, when Jenkins runs the main build, type errors are not reported. See for example this test change, where a deliberate typo was introduced, but the build still passed. We should incorporate type checking into this build to catch type errors early and derive the most benefit from the types that we add.