then scopes, exports, and a few other things could be more cleanly represented, at the cost of making other things way more complex