SortLib: built-in operators such as + and - have also literal names; DOC: update