OOP VII. Common Type System Problems 1 to 3