tk407/mocaml — pull request #13 by tk407 (2014-05-03 14:16:44+00:00)
Title: Merge the new semantics in

The main change here is how live expressions are handled:

- Computation placeholders now return expressions Comp e. However in no proof should I exploit the explicit looking expression within the computation as that is in fact dynamic. This has the drawback that the user can dynamically ruin the expression check.
- They themselves are expressions
- Live expressions just have live tag before an expressions: Live e