* add vector type support for program translator

* polish

* resolve conflicts

* add verify for combine/slice and unittests

* polish