The Ethereum Solidity contract system has a feature for adding events (logging) which can be subscribed via the RPC and also searched for (as the events are stored on the blockchain).
Is there going to be something similar added to the Tezos contract system in the future?
I feel this is very a powerful feature for verification and also debugging.