Derivatives and Pool Lending functionality will be built on top of AMM smart contracts. This is the reason why we are starting with Automated Market Maker. It is extremely important to get this part right, as batching and fund pooling (global state) architecture and functionality will serve as a base building block for our future products, including Derivatives and Lending pools.