resolve #85 resolve #86 change sieve3 rules to put literals in "literals" (less chinese encyclopedia) and put double dot predicates in "dotdot" so they can be easily lost.