Ivory codegen for filtering magnetometer measurements.
Extract common subexpressions using observable sharing.
Run CSE on the innovation and covariance assignments too.
Implement velocity, position, and TAS measurement codegen.