Optymalizacje, poprawa typowania