A Partial Taxonomy of Substitutability and Interchangeability