Lobsters: Equality Saturation: An “Incomplete” Project