Eliminate (IsString var) requirement from Kalman equations.
Eliminate (IsString var) requirement from Kalman equations.

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