Support annotations in TypeNameCheck