Group Kalman filter state into Haskell datatypes.
Group Kalman filter state into Haskell datatypes.

Also generalize all the filter equations over nearly-arbitrary variable
types.

GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32