If spelling were criterial, a misspelled token ('catt') would determinately fail type membership, ye...