Add zipWith and rotate primitives
Fix conversion of negation
New examples