reimplement SAT.BooExp.hs in order to use strings as literals; version
0.1.4.1