CTAN update: boolexpr