Implementation of a calculus used to express the semantics of modules system such as Java's package, Smallscript's selector namespace, Beta virtual classes and Classboxes.