Remve darf
Use Binary instances for vector from vector-binary-instances
Partial implementation of new distributed dot product