Final Commit for Project TypeChecking