Figures fix
Auto Eq, Ord, Ix instances
Reduction