fix type inference for starred assignments
extend array assignment test to include unpacking and starred assignments (even though it's currently highly inefficient)