StateRest[s]⟹out
returns a state out containing all but the first element of input state s.
Drop first species from state: