need clarification: will typedef, C struct initialization, etc.

[Trass3r]

> I suggested eliminating typedef exactly because it was ill-defined and  
> it was lacking rigorous semantics. Walter agreed to eliminating it  
> exactly because he was unable to ground typedef's definition. Also,  
> progress in other, better-defined areas of the language afford us to  
> implement typedef as a user-defined abstraction.

Maybe we could also keep typedef foo bar; as syntactic sugar for some  
template magic or whatever it will be in the end.