In WINDOW-EQUAL and friends, EQL arguments imply EQUAL. darcs-hash:20081008100308-dc3a5-61024cd08a4737f6b141840b6582728c14ac9f33.gz