While going through the token types I also noticed that TOK.arrow seems to be unused. Is there a reason for keeping it? Same for int128 and uns128 but I thought those might be implemented in the future. Is TOK.arrow in a similar situation?