The logic to parse event data and function calldata covers the cases we've encountered so far: atomic types felt, structs, arrays of felts, arrays of structs and tuples. There are holes in this logic: tuples are assumed to be two-dimensional like (x, y), no logic to treat structs with tuples, tuples with structs inside, arrays of tuples etc.
Some food for thought in starknet types