No it wouldn't for the same reason the article isn't a good introduction -- it relies on concepts that a naive reader doesn't understand. In your example the aliens are unfamiliar with kitchens, but the text mentions kitchens without any explanation. Similarly the article mentions and uses "sort" without any explanation. It seemed to be a fundamental concept but without any idea what a sort was I gave up. Every article on category theory does this.
There are 2 sentences between the first use of 'sort' and its explanation, which is that they are symbols with no interpretation. It looks like he defines function symbol before sort, presumably because function symbols are more important than sorts.
