A powerful high-level API design language for web APIs