Hello everyone,

Recently i've been pondering on ADL, customization points and interface
adaptation quite a bit. (TLDR there's a paper embedded in this email that
try to address these problems, let me know what you think)

I've came up with this idea (hardly original, kind of a mash-up of
type-classes, templates and namespace) of "type dependent namespace"
(type-namespace for short) which try to address it all.

While playing around with various use cases, i've realized that to make the
most out of this idea I needed something to control the set of symbols
eligible for unqualified look-up, so I made up some new expressions (no new
keywords though) for that (section "Symbols set control"). This could help
considerably with the well known problem of wild and uncontrollable ADL.

You'll find it all in the embedded file (i've kept it very short). Eager to
hear your thoughts.

Regards,
-Jean-Baptiste