If someone has other sensors than encoders on their robot, we should be able to fuse them for a better state estimate. There is a promising looking SR-UKF implementation here meant for embedded systems: https://github.com/sfwa/ukf. We should look into whether it"s feasible to run that filter with 6 state variables and 5 (I think?) measurement variables.