adding isLiteral predicate, with tests