Added some commented out annotations to decide how to move forward with
BFS
Adding skeleton of pass to detect TBB parallelism and minor changes to TypeChecker