Describing Inter Parameter Constraints in Web APIs Using Dependent Types