add constructors to SequenceToken