Eliminated some circular include file dependencies. Also thrown out a bit of dead code.
Gotten rid of legacy VECTOR type for good.