Better Eq transform + package rename