This is my first post from vacation, right now I am sitting in New Jersey at my grandmas house.

I saw an interesting operation in C# and was wondering how it works:
typeof (X).IsAssignableFrom

Turns out that it is also available in java, and mono implements it in reflection.h
Open Java supports it as well,
we will have to look into this interface.

This reminds me of andrew koenigs article on unnamed types in the c++ journal.

Now, how can you do a switch on the type of the node?
I was thinking about a exception based handler, how about a try block that gets the type and thows
the type as exception, the catch would have the code based on the object type to handle whatever gets thrown.

mike