use polymorphic variants for split_token (in Re.split_full)