Typowanie statyczne