utils: not, and, or, sample, & empty
new primitive: literal
new util/arb: notEmptyString

had to refactor suchthat implementation into separate file so it could
be used internally.
rework/fix code to pass coverage thresholds