Work on type synonyms and rank-N types