TypePairInterface now extends TypeInterface.