Checkpoint 4

Finished adding functions: transfer_types and resolve_dependencies, and testing them to my best knowledge. Now, after discussion with Dr. Hills, we've come to a conclusion that we need to initially sweep all control flow nodes to gather all the information we possibly can. This must be done before Step-2, or the iteration section in Patrick's soft-typing paper.