Types require opt-out and automatically extrapolate onto new code. Tests require opt-in.