TypeSwap passes simple tests.