contratipus