+ - [ ] filtered dispatch -- the point is that our work continues to
+ be useful in cases where there are unbounded numbers of
+ equivalence classes but each given invokation involves a small
+ number of methods.
+ - [ ] ContextL / context-oriented programming -- dispatch occurs on
+ hidden layer argument being an instance of an anonymous class with
+ suitably arranged superclasses -- OK because set of layers is
+ bounded and under programmer control