project-scoped auto-importing #755
Description
suppose we have a "vfs" filesystem, or simply a directory containing a handful of l4 files, sometimes it is useful to just bring all the files into IMPORT scope.
I believe we don't have to worry about cycles; L4 handles cyclic imports.