new datatypes for rules and conditions
old version fully contained in CG_SAT.hs (revert to this version if you for some reason want a version that works only 2-grams and one tag per analysis)