Add `computation_of` and more powerful lambda substitution.
Add the `Named` concept.