types: comments on user vs internal events
types: comments on user vs internal events

Distinguish between user events and internal consensus events

tendermint/tendermint,tendermint/tendermint,tendermint/tendermint,tendermint/tendermint