Elevating API Design With Smithy: A Close Look At Smithy IDL And Smithy4s by Yisrael Union