Added ParametricSafeParallelismChecker that uses the Parametric default annotation scheme.
Skipping typedefs from the SemanticChecker pass: typedefs should carry no annotations as they
define a 1-1 mapping. So we should be fine ignoring them.
Adding support for tbb::parallel_invoke (half-way-done).