Re: contours, locales and modules.

[John R Ellis <Ellis@YALE.ARPA>]

    What I would like to see is a DECLARATIVE mechanism which describes
    directly the connectivity of a program.  Given some packages, one
    could then declare relations between the free variables in one package
    and the defined variables in another.  But the description of the
    relationship between the packages should be separate from the
    descriptions of the packages themselves.

Start by reading about Mesa.  It has all the properties you want, including
a declarative language for binding modules together (matching exports
with imports).
-------