[Ada] Extend legality of Scalar_Storage_Order to formal types