rename Data.Z into Data.ZZ to avoid name collisions
rename O into Z
rename fO into fZ
Merge branch 'Z' of https://github.com/raichoo/Idris-dev into raichoo-Z