Schnitt- vs. Union-Typen: Komplexe Typkompositionsstrategien meistern | MLOG | MLOG