Separate implementation of VectorCdf

Fixes an item in #47.