added promote/zip operations to vector and expressed DFT in these terms