Sprechen da deiner Meinung nach technische Gründe dagegen oder wäre das einen Feature Request wert?
IMHO sind die überladbaren Operatoren viel später hinzu gekommen als die Sperre von Defaults für Records (die ja ohne implizite Operatoren tatächlich keinen Sinn ergeben). Möglicherweise wurde das ja bei der Implementierung der überladbaren Operatoren im Compiler schlichtweg nur vergessen?