it'd be easy to implement, because when parsing a package, you look in the package namespace, same for types and same for variables, all separate. just makes so much sense
then you'd not run into conflicts like this.
and you wouldn't have to resort to type is some_type ...
so I could have package SDL.Video.Windows is type Windows is ...; and inside function parameters, Open (Window : Windows)
it's no different to being able to overload enumerations