Gilad Bracha writes about
a ban on imports, which of course, is not about free trade, but module systems in programming languages. This is pleasantly well timed, since I've been rambling about it a bit lately in
Controlling recursion and type systems... and
Databases, Hardware Description, and Module Systems(with a dash of the Simply Typed Lambda Calculus).