Added tuple types and list types. Added tests for all of them.

Some tests don't pass, mainly some error tests that require finishing
typing for other expressions.
Added updated runtest from old-typing branch
Fixed, updated, and added logical statements.
Typing for print, println, and for loop
Fix bug in typing for For loop
Add checkAmbiguity()