@infiltrate creates a temporary module where local variables and functions are loaded.
However we often need external dependencies in the Main workspace. Of course this can be solved by prepending Main but it's easy to forget/needs more typing.
We could load the Main functions/variables in this local module and make sure that any local variables shadow the Main ones.