Fri May 23 12:37:48 CEST 2008

redefining names

Let's re-iterate the design choices:

CASE A: compiler specialization
CASE B: parameterized kernel code

for CASE A the choices are:

   explicit renaming vs. implicit redefinition.

for CASE B:

   linking (using the mechanism from CASE A) vs. explicit

EDIT: it might be best not to loose to much time on trying to fix this
now, and 'emulate' the classic load-style redefine behaviour until a
better abstraction mechanism pops up.