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.