Tezos_raw_protocol_012_Psithaca.Vote_reprtype proposal = Tezos_protocol_environment_012_Psithaca.Protocol_hash.ta protocol change proposal
votes can be for, against or neutral. Neutral serves to count towards a quorum
val ballot_encoding :
ballot Tezos_protocol_environment_012_Psithaca.Data_encoding.t