Require Vector directly instead of through Bvector

[andres-erbsen]

trafficstars

I am investigating whether we could remove Bvector (vectors of bool) from stdlib. It looks like Equations was needlessly depending on it while only using the polymorphic Vector. I imagine this PR is an improvement regardless of whether Bvector is kept.

Tested with make && make test-suite.