runtime: migrate vector procs to strongly-typed DSL
runtime: complete migration to strongly typed primitive proc DSL