Strong Constructivity of Second-Order Intuitionistic Arithmetic