Require structs to be initialized before using

[certik]

This is currently allowed but should not be:

s: S
s.x = 2

We must initialize s like this: s: S = S().