Implement substitution by reification.

We reify to a representation of expressions that includes an explicit
constructor for closed terms. Substitution can then be implemented as
the identify, which enables us to perform it using computation.
Status Job ID Name Coverage
  Test
passed #536
coq
buildjob

00:04:01