add a nonEmpty method to Vect which returns a VCons.  get rid of no longer needed math in Nat
some changes for Vect