Add: Simplifying Async Programs