logic.ijs: fixed the imp/iby operator comments