Add 'le' alternative notation for '<=' operator.