Handle initializer lists for union types
Allow return without value
Nicer error messages
Fix for global variables