- Move from JMeq to Eqdep
- Try to get rid of JMeq/Eqdep with a manually-written inversion principle?