use (=<)/2 in normal form instead of (<=)/2

We may eliminate (<=)/2 altogether, because it looks like reverse implication.