Audit the type constructors. Previously it was possible to create [0 x void]

or use labels as members of structures for example. Also included a couple of
whitespace fixes.

llvm-svn: 72402