Some more cleanup around the direct monad

[carlhammann]

This adds a few comments, and makes it so that the unused data are removed from the mcstDatums on successful transaction validation.