I have checked the Data library and cannot find Bitfinex's derivative contracts (BTCF0/USDt0). 

Are these contracts tradeable and if not, are there plans to support this in the future?

Author