Your local reasoning point here is important, most agents today operate on partial context and rely heavily on grep-like discovery, so anything that hides structure compounds failure modes. I wonder if the real opportunity is a new language or a stricter profile of existing ones e.g. go-style typescript with enforced import rules, explicit effects and no barrel files.