Type Checking Structs

1.3 rc0 was just released today.