move EnforceTreeHelper from CRewrite to CParser; should belong there; delete second EnforceTreeHelper in CTypeSystem
move ASTNavigation from CRewrite to CParser
move ConditionalNavigation to CParser; should be in ConditionalLib, but ConditionalNavigation has dependencies to AST
use TypeChefError for dataflow analyses