TC instance for abstract synonym types

@johnvg, is there a true semantic or technical issue that prevents us from adding a TC instance for abstract synonym types of types that have a TC instance? I see no reason for this restriction (perhaps abstract synonym types were added after dynamics were added?), but perhaps I'm overlooking something.