Iterating type infos nicely

examples/unions.core

@@ -20,7 +20,11 @@ main :: (argc: int, argv: **char): int
 	ti := GetTypeInfo(t)
 	Assert(ti.size == SizeOf(U))
 
-	
+	for ti.struct_members
+		Assert(it.offset == 0)
+
+		ti_it := GetTypeInfo(it.type)
+		Assert(ti_it.size != 0)
 
 
 /* @reproduction @todo