Statyczna typizacja