Add zip and zipWith to singletons prelude
Promote right sections
Cleanup tests

Duplicate tests removed, similar tests grouped in a single module