Please note that this and other posts on the matter will likely be deleted/archived in preparation for a master article to help reduce redundancy and to streamline the listing and discussion of all key points. Also, contrary to the below, antitypos does not always mean just the antitype; it can also be the type of the antitype – so…
