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.