check token kinds in Lint encoders