Hey, wondering if someone could help me out: how are the EOS tokens (currently ERC20), going to be transferred to the EOS environment, if that is what EOS is planning? how will they be used within the EOS environment?