Fix interface view package mismatch

[Schottkyc137]

Closes #324

Previously, instantiating a package unconditionally mapped all types. This is problematic for situations like the following:

package foo is
    generic (...);

    type foo is record
        ...
    end record foo;
    
    view bar of foo is
        ...
    end view bar;
end package foo;

Since foo is used as subtype, instantiating that package would also map foo and implicitly declare two foos that are not compatible.

This PR fixes these issues by also including the current scope and taking values from the current scope where applicable (instead of mapping the type).