big refactoring of CCVector, to fit the recent coding style;
safe functions with _exn versions, iterators, printers, comparison
and other monadic operators