KalmanFilterer: in ribi::kalman::