New CTAN package: boolexpr