Add finalState to Path type