Generalised type traversal context.
Restructured BindingContext class.
Restructured HermitBinding.