Die Syntax "type X with ." ist für Augmentationen reserviert. Typen, deren Darstellung verborgen ist, die aber Member aufweisen, ...