ip-mask: fix bug in Pattern.eq

Was more or less implemented as less_eq.