Every rule is a choice someone made
The mechanism built in the first lesson looks inevitable once you have seen it, and none of it is.
Price-time priority is a choice; some markets use price-size priority instead. Continuous matching is a choice; auctions match at intervals. The minimum price increment is set by rule. Whether orders are visible, whether they must be routed to the best price available anywhere, whether trading can happen away from an exchange at all: all decisions, all different across jurisdictions and asset classes.
These choices are collectively market design, and they are not neutral plumbing. Each one determines which behaviours are profitable, and therefore which participants appear and what they spend their money on.
The useful habit is to stop asking whether a market outcome is good and start asking which rule produced it. Most of what looks pathological in modern markets is a rational response to a rule, which means it is fixed by changing the rule rather than by disapproving of the response.

