Declared types can leak into modules

[oskgo]

This is part of the examples in #749 that wasn't fixed by #860 that I missed during review.

Example:

theory Thy.
section.

declare type _T.
type T = _T.
op f: T.

module M = {proc main() = {return f;}}.

end section.
end Thy.
print Thy.