split vote_rec into vote_rec, vote_rec_aux, votes
type spec for "votes"
new "vote" function
vstate_dot: correct type spec
no "vote" field for vstate_v
split vote function into two