Moved union test
Local scoped union init
structs/union final size is based on greatest alignment
Only normalise an init once - fixes DYN_NULL accesses
Removed fixed bug
struct copying
struct copy-initialisation
Moved extra bugs - fixed by struct layout commit
Fixed comparison between pointer and integer
Better error message for operator+ applied to struct types
Better const-propagation rules (see desc.)

struct offsets are additive.
Decayed arrays are checked for.
Array addresses can pass through casts and dereference expressions.