Для чего применяется типизация в программировании?