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
Merge pull request #3 from chrisleishman/experimental-parser

More work on experimental