Fixes for deep type resolution

We started performing type resolution across namespaces, but we are not passing the namespace for all types, which means we end up resolving things that ought not to be resolved, like fundamental C types; or we resolve to the first available type, which does not work when multiple namespaces expose identically named types.

We should always pass a namespace to the type resolution, if we have one.

Fixes: #107 (closed)