Toplevel collection typecheck.

Change-Id: I4a59d1b9391adb84f4a29520a179f8cdbc61e18d
Merge "Toplevel collection typecheck."