Redesign
Add tokenizer
Add spec of tokenizer