Allow inheritance between structs.

No subtyping, no interaction with traits. Partially addresses #9912.