Add new expression representations for denotation and partially reified expressions

[cdfa]

As described in the thesis. Would be much cleaner than cramming everything into ExprMeta. Implementation with GADTs can be found in scout-src/BasicEvaluation.hs, but a more extensible implementation may be better (e.g. to cleanly separate evaluation things from Node.hs).