Make structs and arrays first-class types, and add assembly