Objectives of typed OOP