Revised collection annotation to support full range of OCaml K3 transformers (peek/slice, insert/update/delete, iterate/groupBy). Slice is not implemented yet (due to lack of patterns).
Merge branch 'master' of github.com:DaMSL/K3-Core