Use the typedef TEquivalenceClass.

This is what typedefs are for, and it will become important when I change the type of TEquivalenceClass.
Save event description in tesla_transitions.