generate name_of_token function returning tycon name