minor code massage
Adding code to only typecheck & effectcheck functions from the main compilation file
(as a temporary measure to avoid having to deal with all of the STL's nastiness)
Also adding the bfs test (added the pre-processor output so that we don't have to
include specific TBB and STL headers).