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.