Messages

data Message : Type where
  Propose Vote : SignedBlock → Message

record Envelope : Type where
   constructor [_∣_⟩
   field recipient : Pid
         content   : Message