Added new PVTCoord constructors that take a pair of PVTs;
the TCC will find these useful (but they still need unit tests)