Remove point, copoint and monad on Validation. Add CoBind and CoJoin.