Added product types and zipping to the language.
Merge branch 'master' of github.com:stanford-ppl/LoopTransformation