Document and fix Constant::getVectorElements to return an empty vector