additional stx predicate ideas

[aulneau]

thinking through some additional predicates I could see being useful:

• new block (basically so folks can create general purpose indexers)
• new microblock
• new mempool transaction
• new transaction
• contract call (for a given contract, with optional params for function)

will add more as I think of them