Replace for with map in error handling + add docs

Documentation for implicit wrappers, to make the use cases more clear
Split up Update rules for clarity
Support for distinct aggregate expressions
Add ALL, ANY, NONE and SINGLE