Add TokenTree specs