Add paper on SetFunctions and fix formatting
Fix formatting
Fix formatting and shorten definitions
Introduce implementation for PutLenses in Curry