New types for eq.