When he said something to the effect of “those tokens should be tradable in the next few weeks” was he talking about Casper tokens/coins or Bigtokens?