Formalising Solutions to REST API Practices as Design (Anti)patterns