User-defined type handling during precompiling extensions

[shirok]

Extensions may define its own types in C code. Type annotations need to be evaluated by the compiler, but the referenced type instance may not be available at that time (you need to load the compiled DSO to see the type instance).

We should allow delayed binding of type isntances.