added correctness type relating combinators and vectors