refactor: Unify epsilon, positive start, positive end, and negative transitions into spontaneous transitions.

refactor: Unify epsilon, positive start, positive end, and negative transitions into spontaneous transitions. #826