Two kinds of extensions to David Lewin's transformation theory are proposed. First, cross-type transformations transform one sort of object to another: for instance, mappings from triads to seventh ...