Improve underlying keys of substitution mechanism.
Various fixes to substitution mechanism st AllExamples pass again.
Cleaner seperation between stateful and non-stateful contexts.
Thread usage of helper visitors through assistant factories.