IsZippable now extends IsReducable because Reducable < Zippable

Thanks to DarkDimius
reduce now returns the unboxed result R instead of CellResult[R]