This merge updates many aspects of IMU algebra, with new tests and cleaner code.
It includes some fixes to other parts of wolf, with low impact on the overall project.