Compiler template: type interfaces now 'partial's.