Hey,

I noticed extractValue errors out given a NamedTypeReference reference because the extractValueType call (extractValueType i (typeOf a)) isn't total and breaks on references. I suppose with MonadModuleBuilder tracking typedefs, extractValue inputs could be looked up prior to extracting types.

Also, thanks for maintaining these LLVM bindings!