The NaN of types (in D)

[Ola Fosheim Grøstad]

But in general, I would just have made "type" a reference/pointer 
to a virtual object which an hierarchy along the lines of:

CompilerNode :> CompilerType

By virtual object I mean an object that does not have to exist in 
memory. Kinda like DOM objects in the browser.

Then you can later introduce

CompilerNode :> ASTNode

ASTNode does not have to correspond to what the compiler does 
internally.