New mechanism for heap_lang substitutions.

It is based on type classes and can it be tuned by providing
instances, for example, instances can be provided to mark that
certain expressions are closed.
1 job for master
Status Job ID Name Coverage
  Test
passed #115
coq
buildjob

00:03:29