DOCUMENTATION classes describing the main abstractions in Jonathan: name, naming
context and binder.
The present documentation is only meant to give the overall
signification of the terms "name", "naming context", "binder", and of the attached
operations. It takes the form of Javadoc comments simply to take advantage of
Javadoc, but it should be clear that the Java types defined in this package are
not implemented by real Jonathan code.