added TokenString constructor