Use ContextToken as a case class