dispatch-on-structure

For heterogeneous data: pattern matching on type/structure, interpreter eval loops, handling different expression types.