vectorTypeEvidence macro implemented;