Rename Crypto Monad

[fabian-hk]

I think the name crypto for the monad managing computations on the trace is misleading. That's why I want to propose some alternative names:

• mtrace (for monad trace)
• comp (for computation)
• hist (for protocol history)

Feel free to propose other alternatives. I personally think mtrace would make the most sense.

[TWal]

Indeed, I borrowed the name from DY*-intrinsic, but it is misleading as it is not related to computing cryptographic functions!

I generally tried to have explicit names without too much shortening (e.g. m for monad). What about traceful, like stateful but when the state is a trace?

[fabian-hk]

traceful is also good. I personally prefer mtrace but let's hear out other people's opinions as well.

[AlexHodder]

I'm in favour of more explicit names also, I would lean towards 'traceful' or similar

[qaphla]

I have no strong opinions, other than to not use crypto. Of the suggestions so far, I like mtrace and traceful the best. trace is most natural to me from a functional background, analogous to state, but then this causes conflict with the type trace.

[TWal]

Closed by #31.