lgtm,codescanning

• Added support for type backtracking. Dual to the TypeTracker class, the TypeBackTracker class allows the propagation of user-defined type information backwards from a set of data flow nodes.