In their argument, a type-I superconductor had positive free energy of the superconductor-normal metal boundary.
In the context of their argument, a type-I superconductor demonstrated positive free energy at its interface with a conventional metal.