feature: finally btceTradingProxy has the proper type