OpenLedger only deals with the OPEN.<etc> coins, right? I thought their balances could be confirmed on chain as well?

But yes, I do agree a DEX where each coin involved your own private keys for the actual coin (not a derivative) would be preferred. The DEX part means individual actors on the blockchain use the blockchain protocol to transact between each other, without a central authority keeping track of the order book, etc.