semantic: Implement anonymous structs and unions.