adjusted to renamed method for getting elements of a typeset
(getTypeTokens())