completed Token.h