Typdefinition Problem