Introducing the Aden SDK: Type-Safe Access to Your Music Workflow