congrats on the launch! We talked briefly a while back, and I've been checking in on your page every so often to see when things would finally get rolling. The world needs more mechanism design.

Recently in school I've been thinking a lot about constant-function market makers. it occurs to me that you can think of a constant-function market maker as being kind of like an expressive bid. That is, putting your assets in a CFMM is saying you're willing to make any trade among a bunch of assets subject to F(net amount of A, net amount of B, net amount of C,..., net amount of $) = k for some F. Regular limit orders are a special case.

Do you have a sense of how your expressive bids overlap with these? Can I cook up some expressive bid that's equivalent to putting assets in a CFMM? What would the restrictions on F be to make things work with your solvers?