clarify some nuances about certain concepts
transcript consistency: introduce message consistency, acks, full-acks and resends