Smithy: A language for defining services and SDKs