Improvements to partial applications, protocols and records chapters