remove unused Half type
split Tokenizer into its own header