1. Add TxID which is useful, we'll need it anyway and soon (in mempool)
2. Add context-free validation for transaction. Again needed for mempool
3. Add exception for block evaluation. It's useful for godd error messages
But most important reason for its existence is ability to type check
validateTxContextFree. Tx is type family to we need something that allows to
infer type in return value
Also split mempool into yet another package. Their number do grow out of control but it seems there's no other good way to reuse code :(
Also split mempool into yet another package. Their number do grow out of control but it seems there's no other good way to reuse code :(