add new type E for expression, allows making rules to eliminate types of fingerprints, reduces false positives
refinements
fix colon parsing rules
big engine change